Masaryk University - PDFSEARCH.IO - Document Search Engine

Masaryk University
Results: 233

#	Item
1	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
2	Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-06-15 16:26:37 Greek letters Timed automaton Symbol Zeta
3	Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39
4	Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle
5	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
6	On the origin of yet another channel ˇ Petr Svenda and V´aclav Maty´aˇs {svenda, matyas}@fi.muni.cz Masaryk University, Brno, Czech Republic Add to Reading List Source URL: crocs.fi.muni.cz Language: English - Date: 2014-09-16 13:38:14
7	1 New results on reduced-round Tiny Encryption Algorithm using genetic programming Karel Kubíˇcek, Jiˇrí Novotný, Petr Švenda, Martin Ukrop Masaryk University, Brno, Czech Republic Add to Reading List Source URL: crocs.fi.muni.cz Language: English - Date: 2018-04-25 10:30:18
8	The Million-Key Question – Investigating the Origins of RSA Public Keys ˇ Petr Svenda, Mat´usˇ Nemec, Peter Sekan, Rudolf Kvaˇsnˇ ovsk´y, David Form´anek, David Kom´arek and Vashek Maty´asˇ Masaryk University Add to Reading List Source URL: crocs.fi.muni.cz Language: English - Date: 2016-08-10 19:13:56
9	Ivo Pospíšil – Masaryk University, Department of Slavonic Studies Arna Nováka 1/1, Brno, Czech Republic Leonid Heller – Université de Lausanne – Bâtiment Anthropole, CH1015, Lausanne-Dorigny, Switzerlan Add to Reading List Source URL: www.mirgorod.uph.edu.pl Language: English - Date: 2017-04-26 02:35:36
10	Constructing empirical tests of randomness ˇ Marek S´ys, Petr Svenda, Martin Ukrop, Vashek Maty´asˇ Masaryk University, Botanicka 68a, Brno, Czech Republic syso, svenda, , Add to Reading List Source URL: crocs.fi.muni.cz Language: English - Date: 2018-04-25 10:30:18

UPDATE